-
1 выполнимая формула
Большой англо-русский и русско-английский словарь > выполнимая формула
-
2 satisfiable
выполнимый jointly satisfiable formulas ≈ совместно выполнимые формулы secondarily satisfiable formula ≈ вторично выполнимая формула - finitely satisfiable - jointly satisfiable - satisfiable formula - satisfiable sentence - satisfiable statement - secondary satisfiable удовлетворимый (логика) выполнимыйБольшой англо-русский и русско-английский словарь > satisfiable
-
3 satisfiable formula
Большой англо-русский и русско-английский словарь > satisfiable formula
-
4 satisfiable formula
Математика: выполнимая формула -
5 secondarily satisfiable formula
Математика: вторично выполнимая формулаУниверсальный англо-русский словарь > secondarily satisfiable formula
-
6 satisfiable formula
вчт выполнимая формулаEnglish-Russian electronics dictionary > satisfiable formula
-
7 satisfiable formula
вчт. выполнимая формулаThe New English-Russian Dictionary of Radio-electronics > satisfiable formula
-
8 satisfiable formula
мат. -
9 secondarily satisfiable formula
English-Russian scientific dictionary > secondarily satisfiable formula
-
10 secondarily satisfiable satisfiable
English-Russian scientific dictionary > secondarily satisfiable satisfiable
См. также в других словарях:
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия